Separability in Domain Semirings
نویسندگان
چکیده
First, we show with two examples that in test semirings with an incomplete test algebra a domain operation may or may not exist. Second, we show that two notions of separability in test semirings coincide, respectively, with locality of composition and with extensionality of the diamond operators in domain semirings. We conclude with a brief comparison of dynamic algebras and modal Kleene algebras.
منابع مشابه
Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings
A categorical equivalence between algebraic contexts with relational morphisms and join-semilattices with homomorphisms is presented and extended to idempotent semirings and domain semirings. These contexts are the Kripke structures for idempotent semirings and allow more efficient computations on finite models because they can be logarithmically smaller than the original semiring. Some example...
متن کاملProbabilistic Relational Models of Complete Il-semirings
This paper studies basic properties of probabilistic multirelations which are generalized the semantic domain of probabilistic systems and then provides two probabilistic models of complete IL-semirings using probabilistic multirelations. Also it is shown that these models need not be models of complete idempotent semirings.
متن کاملInternal axioms for domain semirings
We investigate modal algebras that arise by adding operations of domain and antidomain to semirings and Kleene algebras. Let (S,+, ·, 0, 1) be a noncommutative and additively idempotent semiring with natural order defined as x ≤ y ⇔ x + y = x. Such semirings have many computational models, e.g., binary relations under union and relative product, languages, paths in graphs or program traces unde...
متن کاملDistributive Lattices of λ-simple Semirings
In this paper, we study the decomposition of semirings with a semilattice additive reduct. For, we introduce the notion of principal left $k$-radicals $Lambda(a)={x in S | a stackrel{l}{longrightarrow^{infty}} x}$ induced by the transitive closure $stackrel{l}{longrightarrow^{infty}}$ of the relation $stackrel{l}{longrightarrow}$ which induce the equivalence relation $lambda$. Again non-transit...
متن کاملOn the Expressive Power of Kleene Algebra with Domain
It is shown that antidomain semirings are more expressive than test semirings and that Kleene algebras with domain are more expressive than Kleene algebras with tests. It is also shown that Kleene algebras with domain are expressive for propositional Hoare logic whereas Kleene algebras with tests are not.
متن کامل